floating-point number - Englisch Synonyme Wörterbuch